Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
901	Introduction Combining Theories Packaging Theories Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 06:12:40 Automated theorem proving Philosophy of science Scientific method Concepts Logic in computer science Proof assistant Isabelle HOL Theory Science Logic Mathematics
902	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
903	The OpenTheory Standard Theory Library Joe Hurd1 Galois, Inc. http://www.gilith.com Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:30:03 Automated theorem proving Logic in computer science Model theory Proof theory Formal methods Proof assistant HOL Theorem Mathematical proof Logic Mathematics Mathematical logic
904	UK GLASSFrom 6 April till 14 September 2014, the glass museum GLAZENHUIS in Lommel presents an exhibition on contemporary artistic glass from the United Kingdom. The GlazenHuis organizes two t Add to Reading List Source URL: www.michaelpetry.net Language: English - Date: 2014-11-25 09:57:42 Theory of computation British people Mathematical logic Physical cosmology Alan Turing Algorithm Multiverse Entscheidungsproblem Digital physics Mathematics Computability theory Theoretical computer science
905	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-07-18 08:21:02 Logic in computer science Design by contract Eiffel Formal verification Software verification Postcondition KeY Formal methods Exception handling Software engineering Theoretical computer science Computing
906	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-09-28 08:15:15 Logic in computer science Object-oriented programming Procedural programming languages Postcondition Control flow Eiffel Precondition Programming paradigms Exception handling Software engineering Computing Computer programming
907	Table of Contents Message from the Chairs...................................................................................................................... xv Organizing Committee..................................... Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Fuzzy logic Mathematics Logic in computer science Computational neuroscience Neuro-fuzzy Neural network Fuzzy control system Agent-based model Harmony search Artificial intelligence Science Logic
908	Contents Introduction vii -Neural Network Symposium: Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Science Computational neuroscience Neural networks Cybernetics Logic in computer science Neuro-fuzzy Artificial neural network Fuzzy control system Adaptive neuro fuzzy inference system Artificial intelligence Logic Fuzzy logic
909	php \| tek - Chicago, May 16-18, 2007 Exceptional PHP When Good Code Goes Bad Jeff Moore Add to Reading List Source URL: www.procata.com Language: English - Date: 2009-09-27 16:51:03 Logic in computer science Software bugs Postcondition Exception handling Precondition C Infinite loop Software engineering Computer programming Computing
910	Topics in Knowledge Representation and Reasoning Optimizing Description Logic Subsumption Maryam Fazel-Zarandi DepartmentCompany Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 16:34:57 Logic in computer science Electronic design automation Formal methods NP-complete problems Reasoning Satisfiability Boolean satisfiability problem Description logic Knowledge representation and reasoning Theoretical computer science Science Mathematics

UPDATE